Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 5.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000424 | Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne] | Beagle – A Hierarchic Superposition Prover |
| 000A66 | Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne] | Finite Quantification in Hierarchic Theorem Proving |
| 000F00 | Peter Baumgartner [Australie] ; Uwe Waldmann [Allemagne] | Hierarchic Superposition: Completeness without Compactness |
| 001175 | Peter Baumgartner [Australie] ; Uwe Waldmann [France] | Hierarchic Superposition With Weak Abstraction |
| 001474 | Andreas Bauer [Australie] ; Peter Baumgartner [Australie] ; Martin Diller [Australie] ; Michael Norrish [Australie] | Tableaux for Verification of Data-Centric Processes |
| This area was generated with Dilib version V0.6.33. |  |